Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
161	TLP 10 (4–6): 675–690, C Cambridge University Press 2010 675 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:09:01 Model theory Modal logic Non-classical logic Temporal logic Kripke semantics Kripke structure Interpretation Stable model semantics Saul Kripke Logic Mathematical logic Philosophical logic
162	A General LTL Framework for Describing Control Knowledge in Classical Planning Master’s Thesis Faculty of Science, University of Basel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-06-13 10:43:18 Heuristics Game artificial intelligence Combinatorial optimization Linear temporal logic Mathematics A* search algorithm Heuristic function Information science Temporal logic Search algorithms Artificial intelligence Routing algorithms
163	Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-03-07 22:58:09 Non-classical logic Philosophical logic Logic in computer science Philosophy of mathematics Mathematical constructivism Modal logic Intuitionistic logic Intuitionism Curry–Howard correspondence Logic Mathematical logic Mathematics
164	Study Guide for Final Exam Philosophy 142 Spring, 2011 The exam will take place Thursday May 12, 3–6 PM, in 110 Wheeler Hall. You should bring your own bluebook and a pen or pencil. The exam is closed book, closed note Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-05-02 22:08:25 Conditionals Paraconsistent logic Philosophy of mathematics Intuitionistic logic Truth value Relevance logic Classical logic Indicative conditional Sorites paradox Logic Non-classical logic Philosophical logic
165	Syllabus January 28, 2011 Philosophy 142: Philosophical Logic Professor John MacFarlane Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-28 21:51:01 Non-classical logic Conditionals Binary operations Propositional calculus Entailment Modal logic Material conditional First-order logic Indicative conditional Logic Mathematical logic Philosophical logic
166	Quantum emulation of classical dynamics Norman Margolus∗ arXiv:1109.4995v3 [quant-ph] 27 SepMassachusetts Institute of Technology Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-09-27 21:31:47 Quantum computer Uncertainty principle Quantum operation Introduction to quantum mechanics Hamiltonian Dirac delta function Wave function Identical particles Quantum logic Physics Quantum mechanics Partition function
167	1 UC Berkeley Logic Group Philosophy Preliminary Syllabus 2013 Decision Theory: Paradoxes and Alternatives (Prof Lara Buchak) Many normative alternatives to classical decision theory have arisen in recent (and not-so-rec Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Formal sciences Philosophy of mathematics Statistical inference Control theory Decision theory Risk Rationality Expected utility hypothesis Bayesian probability Science Knowledge Statistics
168	PDF Document Add to Reading List Source URL: www.parrhesiajournal.org Language: English - Date: 2007-08-30 22:47:44 Philosophy of mathematics Mathematical constructivism Non-classical logic Philosophical logic Rules of inference Alain Badiou Ontology Empty set Intuitionism Logic Mathematical logic Mathematics
169	Questions of Reasoning Under Logical Uncertainty Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-03-20 21:16:44 Reasoning Logical consequence Non-classical logic Probabilistic logic Entailment First-order logic Bayesian probability Inference Complete theory Logic Philosophical logic Model theory
170	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science

UPDATE